张量广义特征值的S-型包含区域

设{A,B}为m阶n维正则张量对,通过将指标集N={1,2,…,n}划分为非空真子集S及其补集S珚=N/S,利用分类讨论的思想以及张量对{A,B}某些元素选取的任意性和不等式缩放技巧,解决了张量对{A,B}的特征值定位问题,并给出张量对{A,B}特征值的S-型包含区域.数值结果表明,所得包含区域比已有包含区域更精确.     

非同分布φ混合序列加权和的强极限收敛性

利用φ混合序列矩不等式和截尾的处理方法,研究非同分布φ混合序列加权和强极限收敛性质的问题,得到了若干新结果,推广并改进了独立同分布情形下的相应结果.     

Post李超代数结构的性质

通过post李超代数的定义, 讨论post李超代数结构的基本性质, 给出post李超代数的一些存在性结果, 并利用post李超代数可构造LR超代数和左对称超代数, 给出交换post李超代数结构的相关结果.     

考虑交付质量和交付期约束的移动应用供应链决策与协调

针对由ERP厂商、APP厂商与客户企业组成的移动应用供应链,考虑客户企业对软件质量与交付时间存在约束,ERP厂商的售前服务会影响软件开发质量等问题,构建了基于软件质量与交付时间的收益模型,分析了分散与集中决策下双方的最优决策策略以及APP厂商的售后维护成本分担比例与应急成本对双方决策水平的影响,比较了两种决策下对应的合作绩效,提出了双向成本分担与提前交付奖励的供应链协调策略.研究表明:随客户企业的质量感知度增大,ERP厂商通过适当延长交付时间产生的质量改进效应大于延长交付期产生的负效应,使总效应增加;当客户企业的交付期敏感程度小于临界值时,ERP厂商可通过交付高质量软件产品提高自身利润,当交付期敏感程度大于临界值时,可通过提前交付提高自身利润;通过对供应链进行协调,可使原本因无法满足客户企业对质量与交付期的要求而使双方放弃合作的情形变得可合作,使原本可合作时双方的合作绩效与利润更高;当APP厂商独自承担售后维护成本时,实施供应链协调产生的价值大于双方共同承担时对应的值.     

解决一类优化问题的变分迭代法

考虑利用变分迭代方法求解最优化问题,分别给出了求解一般的有约束和无约束最优化问题的基本步骤,并通过实例说明了所给方法的有效性.     

基于机会约束的手术计划随机模型与算法

本文研究多服务台手术计划调度问题,考虑手术时间的不确定性,提出手术室加班时间的机会约束,以一定的概率保证病人的手术时间不超过手术室的开放时间,建立随机优化机会约束手术计划调度模型,确定手术室的开放和分配决策.基于手术时间离散的概率情景,引入0-1变量转化机会约束,得到了0-1整数线性规划的等价模型.为了提高模型的求解效率,提出两类有效不等式,并设计最长路径算法分离第二类有效不等式,利用分支切割方法进行模型求解.算例分析,基于北京某医院的实际数据,验证算法的有效性,确定最优的手术计划调度方案,有效地优化配置手术室资源.     

气相Lys分子体系捕获双电子单重激发态的特性

采用密度泛函理论（DFT）中的B3LYP方法, 在6-311+G(2df)基组水平上, 对气相赖氨酸（Lys）分子和Lys^2-的基态稳定构型进行优化, 并用含时密度泛函理论（TD DFT)方法考察气相Lys分子和带电离子体系单重激发态的特性. 结果表明： Lys分子体系捕获双电子时, 其体系能量有所增加； S1单重激发态与S0基态能量差值变小； 分子体系的荧光波长增加； S7单重激发态跃迁轨道数减少.     

噬菌体展示禽流感病毒抗原变异性基因片段文库的构建

构建T7噬菌体展示禽流感病毒抗原变异性基因片段文库. 首先， 从Gene Bank中查找筛选禽流感病毒抗原变异性基因, 将其截短、 修饰、 简并后得到禽流感病毒抗原变异性基因微阵列. 其次， 将合成的禽流感病毒抗原变异性基因片段文库扩增、 酶切, 链接到双酶切后的T7噬菌体载体基因上, 构成重组噬菌体DNA. 最后， 重组噬菌体DNA经体外包装和扩增, 得到T7噬菌体展示文库, 并进行T7噬菌体展示文库滴度、 重组率和免疫活性测定. 实验结果表明, 从Gene Bank中查找、 筛选、 剪切和修饰共获得96 258条序列构建T7噬菌体展示文库, 原始文库滴度为3.6×107个菌落/mL, 重组率大于90%. 用禽流感病毒H5N1抗体进行捕获, 经聚合酶链式反应(PCR)鉴定, 得到理想目的条带, 证明噬菌体表面展示蛋白具有抗原活性, 可用于禽流感病毒感染患者的快速检测及抗原表位筛选.     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。